منابع مشابه
On residuated lattices with universal quantifiers
We consider properties of residuated lattices with universal quantifier and show that, for a residuated lattice $X$, $(X, forall)$ is a residuated lattice with a quantifier if and only if there is an $m$-relatively complete substructure of $X$. We also show that, for a strong residuated lattice $X$, $bigcap {P_{lambda} ,|,P_{lambda} {rm is an} m{rm -filter} } = {1}$ and hence that any strong re...
متن کامل2-universal Hermitian Lattices over Imaginary Quadratic Fields
We call a positive definite integral quadratic form universal if it represents all positive integers. Then Lagrange’s Four Square Theorem means that the sum of four squares is universal. In 1930, Mordell [M] generalized this notion to a 2-universal quadratic form: a positive definite integral quadratic form that represents all binary positive definite integral quadratic forms, and showed that t...
متن کاملEven Universal Binary Hermitian Lattices over Imaginary Quadratic Fields
A positive definite even Hermitian lattice is called even universal if it represents all even positive integers. We introduce a method to get all even universal binary Hermitian lattices over imaginary quadratic fields Q( √ −m) for all positive square-free integers m and we list optimal criterions on even universality of Hermitian lattices over Q( √ −m) which admits even universal binary Hermit...
متن کاملGENERALIZED RESIDUATED LATTICES BASED F-TRANSFORM
The aim of the present work is to study the $F$-transform over a generalized residuated lattice. We discuss the properties that are common with the $F$-transform over a residuated lattice. We show that the $F^{uparrow}$-transform can be used in establishing a fuzzy (pre)order on the set of fuzzy sets.
متن کاملGonii: Universal Quaternary Quadratic Forms
We continue our study of quadratic forms using Geometry of Numbers methods by considering universal quaternary positive definite integral forms of square discriminant. We give a small multiple theorem for such forms and use it to prove universality for all nine universal diagonal forms. The most interesting case is x2 + 2y2 + 5z2 + 10w2, which required computer calculations.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: East Asian mathematical journal
سال: 2012
ISSN: 1226-6973
DOI: 10.7858/eamj.2012.046